Stephen N. Freund Curriculum Vitae September 12, 2017 Department of Computer Science Williams College Williamstown, MA 01267, USA

Source URL: www.cs.williams.edu

• Computing
• Software engineering
• Programming language theory
• Programming languages
• Programming Language Design and Implementation
• SIGPLAN
• P
• Association for Computing Machinery
• Symposium on Principles of Programming Languages
• XPL
• ACM Transactions on Programming Languages and Systems
• Ada

Energy Reduction for STT-RAM Using Early Write Termination ∗ Ping Zhou, Bo Zhao, Jun Yang, Youtao Zhang‡ Electrical and Computer Engineering Department,‡ Department of Computer Science

Source URL: people.cs.pitt.edu

A Spectral Learning Approach to Range-Only SLAM Byron Boots Department of Computer Science and Engineering, University of Washington, Seattle, WA Geo↵rey J. Gordon

Source URL: proceedings.mlr.press

Improving the Reliability of Commodity Operating Systems Michael M. Swift, Brian N. Bershad, and Henry M. Levy Department of Computer Science and Engineering University of Washington Seattle, WAUSA {mikesw,bershad

Source URL: pages.cs.wisc.edu

Data Leak Detection As a Service Xiaokui Shu and Danfeng (Daphne) Yao Department of Computer Science Virginia Tech Blacksburg VA, USA {subx,danfeng}@cs.vt.edu

Source URL: people.cs.vt.edu

Multi-Level Inference by Relaxed Dual Decomposition for Human Pose Segmentation Huayan Wang Department of Computer Science Stanford University

Source URL: robotics.stanford.edu

Safe Loading A Foundation for Secure Execution of Untrusted Programs Mathias Payer, Tobias Hartmann, Thomas R. Gross Department of Computer Science

Source URL: nebelwelt.net

InterPlanetary Wayback: The Permanent Web Archive Sawood Alam, Mat Kelly, Michele C. Weigle, and Michael L. Nelson Old Dominion University Department of Computer Science Norfolk, VA 23529, USA {salam,mkelly,mweigle,mln}@

Source URL: www.ieee-tcdl.org

A Fully Automated Method for Discovering Community Structures in High Dimensional Data Jianhua Ruan Department of Computer Science University of Texas at San Antonio One UTSA Circle, San Antonio, TX 78249

Source URL: cs.utsa.edu

PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science POINTER ANALYSIS! PROGRAM ANALYSIS

Source URL: homepages.dcc.ufmg.br